From State- to Delta-Based Bidirectional Model Transformations
نویسندگان
چکیده
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of original and updated models, but alignment relationships between the models are not specified. In the paper we identify and discuss three major problems caused by this under-specification. We then propose a novel formal framework based on a graphical language: models are nodes and updates are arrows, and show how the three problems can be fixed.
منابع مشابه
GSDLAB TECHNICAL REPORT From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
A bidirectional transformation (BX) keeps a pair of interrelated models synchronized. Symmetric BXs are those for which neither model in the pair fully determines the other. We build two algebraic frameworks for symmetric BXs, with one correctly implementing the other, and both being delta-based generalizations of known state-based frameworks. We identify two new algebraic laws—weak undoability...
متن کاملFrom State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case
Existing bidirectional model transformation (BX) languages are mainly state-based: model alignment is hidden inside update propagating procedures, and model deltas are implicit. Weaving alignment with update propagation complicates the latter and makes it less predictable and less manageable. We propose to separate concerns and consider two distinct operations: delta discovery (alignment) and d...
متن کاملBidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal)
In recent years in the bx literature, attention has turned to incor-porating intensional information about edits (based on monoid ac-tions [HPW12,AU14, for example]), or more generally, deltas (based oncategories [DXC11a, DXC11b]), describing model updates. This talksketches a dependently-typed approach to consistency maintenance,à la Meertens/Stevens [Mee98, Ste10], buildin...
متن کاملIncorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization
In Model-Driven Engineering, bidirectional transformations are key to managing consistency and synchronization of related models. Deltalenses are a flexible algebraic framework designed for specifying deltabased synchronization operations. Since model consistency is usually not a one-to-one correspondence, the synchronization process is inherently ambiguous, and consistency restoration can be a...
متن کاملComparing the Bidirectional Baum-Welch Algorithm and the Baum-Welch Algorithm on Regular Lattice
A profile hidden Markov model (PHMM) is widely used in assigning protein sequences to protein families. In this model, the hidden states only depend on the previous hidden state and observations are independent given hidden states. In other words, in the PHMM, only the information of the left side of a hidden state is considered. However, it makes sense that considering the information of the b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010